@article{bishop,
author = "Matt Bishop",
title = "Robust Programming",
year = "2003",
journal = "ECS 153 - winter 2003",
note = "Available at http://nob.cs.ucdavis.edu/bishop/secprog/robust.pdf, last visited on 09.12.2007"
}

@article{barnett,
author = "Mike Barnett and K. Rustan and M. Leino and Wolfram Schulte",
title = "The Spec\# Programming System: An Overview",
year = "2004",
journal = "Manuscript KRML 136",
note = "Available at http://research.microsoft.com/specsharp/papers/krml136.pdf, last visited on 09.12.2007"
}

@article{ariane,
author = "Prof. J. L. Lions et al",
title = "ARIANE 5 Flight 501 Failure",
year = "1996",
journal = "Report by the Inquiry Board",
note = "Available at http://sunnyday.mit.edu/accidents/Ariane5accidentreport.html, last visited on 11.12.2007"
}

@article{meyer,
author = "Bertrand Meyer",
title = "Applying ``Design by Contract''",
year = "1992",
journal = "Computer",
note = "Available at http://se.ethz.ch/~meyer/publications/computer/contract.pdf, last visited on 11.12.2007"
}
